Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 63.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000249 | Olga Kouchnarenko [France] ; Jean-François Weber [France] | Practical Analysis Framework for Component Systems with Dynamic Reconfigurations |
| 000377 | Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France] | Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data |
| 000622 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
| 000851 | Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard |
| 000960 | Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France] | Verifying Modal Workflow Specifications Using Constraint Solving |
| 000C07 | Arnaud Lanoix [France] ; Olga Kouchnarenko [France] | Component Substitution through Dynamic Reconfigurations |
| 000D86 | Aloïs Dreyfus [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A random testing approach using pushdown automata |
| 000E77 | Olga Kouchnarenko [France] ; Jean-Francois Weber [France] | Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime |
| 000F17 | Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A Random Testing Approach Using Pushdown Automata |
| 000F61 | Olga Kouchnarenko [France] ; Jean-Francois Weber [France] | Adapting Component-based Systems at Runtime via Policies with Temporal Patterns |
| 001097 | Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Enhancing Approximations for Regular Reachability Analysis |
| 001153 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
| 001171 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
| 001277 | Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Random Grammar-based Testing for Covering All Non-Terminals |
| 001873 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
| 001959 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and overloops for Tree Walking Automata |
| 001A18 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | On Positive TAGED with a Bounded Number of Constraints |
| 001A53 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
| 001C02 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
| 002057 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
| 002128 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components |
| 002230 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and Overloops for Tree Walking Automata |
| 002397 | Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France] | Combining Proof and Model-checking to Validate Reconfigurable Architectures |
| 002977 | Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Random Generation of Positive TAGEDs wrt. the Emptiness Problem |
| 002A20 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Using Temporal Logic for Dynamic Reconfigurations of Components |
| 002C53 | Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Pierre Jourdan [France] ; Olga Kouchnarenko [France] | Approximations par réécriture pour deux problèmes indécidables |
| 002D75 | Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France] | Specifying Generic Java Programs: two case studies |
| 002F05 | Fahima Cheikh [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Composition of Services with Constraints |
| 002F06 | Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Component Simulation-based Substitutivity Managing QoS and Composition Issues |
| 003213 | Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | {SAT} Solvers for Queries over Tree Automata with Constraints |
| 003327 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Hassan Mountassir [France] | Politiques d'adaptation pour la reconfiguration du composant de localisation |
| 003374 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Specifying and Proving a Sorting Algorithm |
| 003378 | Olga Kouchnarenko [France] ; Natalia Sidorova ; Nikola Trcka | Petri Nets with May/Must Semantics |
| 003382 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
| 003506 | Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | TAGED Approximations for Temporal Properties Model-Checking |
| 003741 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 003768 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
| 003873 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003E65 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
| 003E66 | Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Component Simulation-based Substitutivity Managing QoS Aspects |
| 003E72 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003F07 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Finer is better: Abstraction Refinement for Rewriting Approximations |
| 003F31 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
| 004143 | Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of class liveness properties with Java modeling language |
| 004601 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
| 004838 | Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
| 004869 | Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | How to Handle QoS Aspects in Web Services Substitutivity Verification |
| 004C51 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-Based Systems |
| 004D59 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Vérifier automatiquement les protocoles de sécurité |
| 004E14 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 004E19 | Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Towards Formalizing QoS of Web Services with Weighted Automata |
| 004F38 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005707 | Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | {JML}-based Verification of Liveness Properties on a Class in isolation |
| 005761 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
| 005762 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
| 005765 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005804 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users |
| 005979 | Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 006550 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Verification of Security Protocols Using Approximations |
| 006E50 | Françoise Bellegarde [France] ; Julien Groslambert [France] ; Marieke Huisman [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of Liveness Properties with JML |
| 007D28 | Françoise Bellegarde ; Célina Charlet [France] ; Olga Kouchnarenko [France] | Using Acceleration to Compute Parameterized System Refinement |
| 007D58 | Olga Kouchnarenko [France] ; Arnaud Lanoix | Refinement and Verification of Synchronized Component-based Systems |
| 008B78 | Frédéric Oehl ; Gérard Cécé ; Olga Kouchnarenko [France] ; David Sinclair | Automatic Approximation for the Verification of Cryptographic Protocols |
| This area was generated with Dilib version V0.6.33. |  |